The Planteome project provides a suite of reference and species-specific ontologies for plants and annotations to genes and phenotypes. Ontologies serve as common standards for semantic integration of a large and growing corpus of plant genomics, phenomics and genetics data. The reference ontologies include the Plant Ontology, Plant Trait Ontology, and the Plant Experimental Conditions Ontology developed by the Planteome project, along with the Gene Ontology, Chemical Entities of Biological Interest, Phenotype and Attribute Ontology, and others. The project also provides (...) access to species-specific Crop Ontologies developed by various plant breeding and research communities from around the world. We provide integrated data on plant traits, phenotypes, and gene function and expression from 95 plant taxa, annotated with reference ontology terms. (shrink)

What is the reason for the continued interest in Newman’s theology? This article’s reply that Newman was a contextual theologian is based on a consideration of three questions:Was Newman a theologian? What was the context of his theology? What are the reasons for Newman’s theological longevity?

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact (...) of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. (shrink)

We study when classes can have the disjoint amalgamation property for a proper initial segment of cardinals. Theorem A For every natural number k, there is a class $K_k $ defined by a sentence in $L_{\omega 1.\omega } $ that has no models of cardinality greater than $ \supset _{k - 1} $ , but $K_k $ has the disjoint amalgamation property on models of cardinality less than or equal to $\mathfrak{N}_{k - 3} $ and has models of cardinality $\mathfrak{N}_{k (...) - 1} $ . More strongly, we can have disjoint amalgamation up to $\mathfrak{N}_\alpha $ for α > ω, but have a bound on size of models. Theorem B For every countable ordinal a, there is a class $K_\alpha $ defined by a sentence in $L_{\omega 1.\omega } $ that has no models of cardinality greater than $ \supset _{\omega 1} $ , but K does have the disjoint amalgamation property on models of cardinality less than or equal to $\mathfrak{N}_\alpha $ . Finally we show that we can extend the $\mathfrak{N}_\alpha $ to $ \supset _\alpha $ in the second theorem consistently with ZFC and while having $\mathfrak{N}_i \ll \supset _i $ for 0 > i < α. Similar results hold for arbitrary ordinals α with |α|= K and $L_{k + ,\omega } $. (shrink)

Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. In (...) particular, the generic structure need not be ω-saturated and so the argument for stability is significantly more complicated. We further show that these structures are “flat” and do not interpret a group. (shrink)

The article covers electronic informed consent from different dimensions so that practitioners might understand the history, regulation, and current status of eIC. It covers the transition of informed consent to electronic screens and the implications of that transition in terms of design, costs, and data analysis. The article explores the limits of regulation mandating eIC for mobile application research, and addresses some of the broader social context around eIC.

This essay, which was originally presented at the first Coloquio Internacional at the Guadalajara Campus of the Universidad Panamericana, Mexico, October 8-10, is a short introduction to Newman’s writings in six areas—autobiography, philosophy, theology, literature, education and spirituality—along with some suggestions for additional reading, particularly for those beginning Newman studies.

I describe a problem about the relations among symmetries, laws and measurable quantities. I explain why several ways of trying to solve it will not work, and I sketch a solution that might work. I discuss this problem in the context of Newtonian theories, but it also arises for many other physical theories. The problem is that there are two ways of defining the space-time symmetries of a physical theory: as its dynamical symmetries or as its empirical symmetries. The two (...) definitions are not equivalent, yet they pick out the same extension. This coincidence cries out for explanation, and it is not clear what the explanation could be. The Puzzle: Symmetries, Measurability and Invariance 1.1 The symmetries and the measurable quantities of Newtonian mechanics 1.2 The puzzle Two Easy Answers Another Unsuccessful Solution: Appeal to Geometrical Symmetries Locating the Puzzle The Relation between Laws and Measurability A Possible Solution CiteULike Connotea Del.icio.us What's this? (shrink)

How do I live a good life, one that is deeply personal and sensitive to others? John T. Lysaker suggests that those who take this question seriously need to reexamine the work of Ralph Waldo Emerson. In philosophical reflections on topics such as genius, divinity, friendship, and reform, Lysaker explores "self-culture" or the attempt to remain true to one's deepest commitments. He argues that being true to ourselves requires recognition of our thoroughly dependent and relational nature. Lysaker guides readers (...) from simple self-absorption toward a more fulfilling and responsive engagement with the world. (shrink)

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- The measurability approach to laws -- What (...) comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order account of laws or a meta-theoretic account of laws? -- What methods are presupposed to be legitimate measurement procedures? -- Why we must adopt a meta-theoretic account of laws -- What lawhood is -- Where we are now -- The measurability account of laws -- Brief review of the case for the mal -- A note about hedged laws -- How plausible is the mal? -- What if we don't care about the law-governed world-picture? -- Newton's God and Laplace's demon -- Beyond humean and non-humean -- Two views of laws -- Humean supervenience and the meta-theoretic conception -- Alleged counterexamples to humean supervenience -- Governing and non-trivial necessity -- How the mal lets us have it all -- Humeanism? non-humeanism? -- What is the significance of the idea of the law-governed universe? -- Where in the world are the laws of nature? -- Appendix: The mal in action : a few examples -- Of scientific theories and their laws -- Newton's theory as a paradigm example -- Classical special-force laws -- Geometrical optics and one of its laws -- Local deterministic field theories. (shrink)

I propose and motivate a new account of fundamental physical laws, the Measurability Account of Laws (MAL). This account has a distinctive logical form, in that it takes the primary nomological concept to be that of a law relative to a given theory, and defines a law simpliciter as a law relative to some true theory. What makes a proposition a law relative to a theory is that it plays an indispensable role in demonstrating that some quantity posited by that (...) theory is measurable. In Section 1, I motivate the project of seeking a philosophical account of fundamental physical laws, as opposed to laws of nature in general. In Section 2, I motivate seeking an account with the distinctive logical form of the MAL. In Section 3, I present the MAL and illustrate the way it works by applying it to a simple example. (shrink)

We explore Shelah's model‐theoretic dividing line methodology. In particular, we discuss how problems in model theory motivated new techniques in model theory, for example classifying theories by their potential (consistently with Zermelo–Fraenkel set theory with the axiom of choice (ZFC)) spectrum of cardinals in which there is a universal model. Two other examples are the study (with Malliaris) of the Keisler order leading to a new ZFC result on cardinal invariants and attempts to clarify the “main gap” by reducing the (...) dependence of certain versions on (highly independent) cardinal arithmetic. (shrink)

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

We use κ-free but not Whitehead Abelian groups to constructElementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation. More specifically we have: Theorem 5.3. There is (...) an AEC with amalgamation which is not (N₀, N₁)-tame but is 2(N0, ∞)-tame; Theorem 3.3. It is consistent with ZFC that there is an AEC with amalgamation which is not (≤ N₂, ≤ N₂)-compact. (shrink)

We prove two results on the stability spectrum for Lω1,ω. Here [Formula: see text] denotes an appropriate notion of Stone space of m-types over M. Theorem for unstable case: Suppose that for some positive integer m and for every α μ, K is not i-stable in μ. These results provide a new kind of sufficient condition for the unstable case and shed some light on the spectrum of strictly stable theories in this context. The methods avoid the use of compactness (...) in the theory under study. In this paper, we expound the construction of tree indiscernibles for sentences of Lω1,ω. Further we provide some context for a number of variants on the Ehrenfeucht–Mostowski construction. (shrink)

The projective plane of Baldwin 695) is model complete in a language with additional constant symbols. The infinite rank bicolored field of Poizat 1339) is not model complete. The finite rank bicolored fields of Baldwin and Holland 371; Notre Dame J. Formal Logic , to appear) are model complete. More generally, the finite rank expansions of a strongly minimal set obtained by adding a ‘random’ unary predicate are almost strongly minimal and model complete provided the strongly minimal set is ‘well-behaved’ (...) and admits ‘exactly rank k formulas’. The last notion is a geometric condition on strongly minimal sets formalized in this paper. (shrink)

The existence of "undermining futures" appears to show that a contradiction can be deduced from the conjunction of Humean supervenience (HS) about chance and the Principal Principle. A number of strategies for rescuing HS from this problem have been proposed recently. In this paper, a novel way of defending HS from the threat is presented, and it is argued that this defense has advantages not shared by others. In particular, it requires no revisionism about chance, and it is equally available (...) to defenders of HS who hold HS to be necessary and those who hold it to be contingent. (shrink)

Thesis: The exclusion of organized labor/management issues from the principal arenas for business ethics study and discussions needs to be remedied. The paper develops this thesis in three steps: 1) Exclusion: A careful examination of select textbooks, journals, and conferences provides evidence as to the virtual absence of unions and such crucial organized labor/management issues as labor organizing and collective bargaining; 2) Inclusion: A series of brief arguments favoring inclusion of these issues in business ethics based on the notion of (...) privileged institutions, adversarial posturing, the societal benefits, and globalization; 3) Suggestions: Some practical, cooperative initiatives involving the academy, management and labor, such as, labor officials as guest speakers and members of business school committees, internships in labor organizations, training workshops in business ethics for labor leaders, fora for joint management/labor discussions of issues each group faces in the economy and the legislatures. (shrink)

This book contains a collection of 13 essays from leading scholars on the relationship between passionate emotions and moral advancement in Greek and Roman thought. Recognising that emotions played a key role in whether individuals lived happily, ancient philosophers extensively discussed the nature of the passions.

What Aphorism Does Nietzsche Explicate in Genealogy of Morals, Essay III ? JOHN T. WILCOX A picture held us captive. Wittgenstein ~ AS EVERYONE KNOWS, the dominant opinion is not always correct. Current scholarship, in all likelihood, makes assumptions which have not yet been questioned; and probably some of them will be seen to be false, once they have been examined. I will argue here that there is a dominant but erroneous assumption concerning the Third Essay in Nietzsche's On (...) the Genealogy of Morals. It will be obvious that correcting this error has some serious implica- tions for almost all current interpretations of the essay. After acknowledging, at the end of his Preface to the Genealogy, that some might find his new book "incomprehensible," Nietzsche warns that "the fault.., is not necessarily mine." He assumes, he says, that readers have already worked hard at his earlier writings, themselves "not easy to pene- trate," and have been "wounded" and "delighted" by his Zarathustra. Then he begins one of several passages we must examine carefully: In other cases, people have difficulty with the aphoristic form: this arises from the fact that today this form is not taken seriously enough. An aphorism, properly stamped and molded, has not been "deciphered" when it has simply been read; rather, one has then to begin its exegesis, for which is required an art of exegesis. I have offered in the third essay of the present book an example of what I.. (shrink)

New readings of Anselm’s speculative and spiritual writings brought in light of questions and thinkers from Augustine to today.

CHAPTER 1 Combinatorial Geometries and Infinitary Logics In this chapter we introduce two of the key concepts that are used throughout the text. ...

Newman sought a via media—a middle ground—between “evidentialists,” who considered reason supreme and so disparaged faith, and “existentialists,” who wanted to create a fortress of faith impenetrable to reason. Examining the way people actually think, Newman identified three types of inference that lead people to make decisions. This inferential process, which is operative in the decisions of every day life, serves as a paradigm for understanding how the human mind—particularly the illative sense—operates in religious matters; accordingly, Newman presents faith as (...) a personal and reasonable inference. (shrink)